301. Mathematical logic and applications. proceedings of the Logic Meeting held in Kyoto, 1987, Lecture notes in mathematics
پدیدآورنده: J. Shinoda, T.A. Slaman, T. Tugue )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical, Congresses
رده :
QA
3
.
M3
1989
302. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
303. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic, Symbolic and mathematical , Computable functions
رده :
QA
9
.
59
.
K44
1996
304. Mathematical logic and computability
پدیدآورنده: / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic,symbolic and mathematical
رده :
511
.
3
K27m
305. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
306. Mathematical logic and formalized theories: a survey of basic concepts and results
پدیدآورنده: / Robert Rogers
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
R722
307. Mathematical logic and formalized theories: a survey of basic concepts and results
پدیدآورنده: Rogers, Robert
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R74
308. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under
پدیدآورنده: Ed. by Yehoshua Bar-Hillel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
309. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, symbolic and mathematical-- Congresses
رده :
QA
9
.
I54
1968
310. Mathematical logic and model theory : a brief introduction
پدیدآورنده: Prestel, Alexander, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P743M3
311. Mathematical logic and model theory a brief introduction
پدیدآورنده: Prestel, A.)Alexander(,1491-, Alexander Prestel, Charles N. Delzell
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
169
.
M3
P7
2011
312. Mathematical logic and model theory: a brief introduction
پدیدآورنده: Prestel, A. )Alexander(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38
313. Mathematical logic and model theory: a brief introduction
پدیدآورنده: Prestel, A. )Alexander(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
314. Mathematical logic and programming language
پدیدآورنده: Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
315. Mathematical logic and programming languages
پدیدآورنده: edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
316. Mathematical logic and programming languages
پدیدآورنده: / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
317. Mathematical logic and the found ations of mathematics
پدیدآورنده: / G T kneebone
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
K673
318. Mathematical logic and the found ations of mathematics: an introducto survey
پدیدآورنده: Kneebone, G. T.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
K673
319. Mathematical logic and the foundations of mathematics
پدیدآورنده: / An introductory survey, G. T. Kneebone
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
510
.
01
Kn-M
320. Mathematical logic and the foundations of mathematics
پدیدآورنده: / G.T. Kneebone
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
K673
2001
